home *** CD-ROM | disk | FTP | other *** search
- # LaTeX2HTML 2022 (Released January 1, 2022)
- # Associate labels original text with physical files.
-
-
- $key = q/MS-DOS/;
- $external_labels{$key} = "$URL/" . q|node9_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/fo+lang/;
- $external_labels{$key} = "$URL/" . q|node4_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/mtc+minitoc/;
- $external_labels{$key} = "$URL/" . q|node3_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/mtc+parttoc/;
- $external_labels{$key} = "$URL/" . q|node3_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/mtcsecttoc/;
- $external_labels{$key} = "$URL/" . q|node3_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/o+minitoc/;
- $external_labels{$key} = "$URL/" . q|node1_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/o+minitocoff/;
- $external_labels{$key} = "$URL/" . q|node10_ct.html|;
- $noresave{$key} = "$nosave";
-
- 1;
-
-
- # LaTeX2HTML 2022 (Released January 1, 2022)
- # labels from external_latex_labels array.
-
-
- 1;
-
-